package tests;

import intervalAnalysis.Main;
import intervalAnalysis.State;

import org.junit.After;
import org.junit.Before;
import org.junit.Test;


public class LogicalTests {
	@Before
	public void setUp() throws Exception {
	}
	
	@After
	public void tearDown() throws Exception {
	
	}
	
	@Test
	public void testCreation() throws Exception {
	
	}

	@Test
	public void testIfGt() throws Exception {

	}	
}
